Principal groupoids with continuous weak multiplication
نویسندگان
چکیده
منابع مشابه
Computing with Semirings and Weak Rig Groupoids
The original formulation of the Curry–Howard correspondence relates propositional logic to the simply-typed λ-calculus at three levels: the syntax of propositions corresponds to the syntax of types; the proofs of propositions correspond to programs of the corresponding types; and the normalization of proofs corresponds to the evaluation of programs. This rich correspondence has inspired our com...
متن کاملPrincipal Bundles, Groupoids, and Connections
We clarify in which precise sense the theory of principal bundles and the theory of groupoids are equivalent; and how this equivalence of theories, in the differentiable case, reflects itself in the theory of connections. The method used is that of synthetic differential geometry. Introduction. In this note, we make explicit a sense in which the theory of principal fibre bundles is equivalent t...
متن کاملTypes are weak ω - groupoids
We define a notion of weak ω-category internal to a model of Martin-Löf’s type theory, and prove that each type bears a canonical weak ω-category structure obtained from the tower of iterated identity types over that type. We show that the ω-categories arising in this way are in fact ω-groupoids.
متن کاملContinuous representations of groupoids
We introduce unitary representations of continuous groupoid on continuous fields of Hilbert spaces. We investigate some properties of these objects and discuss some of the standard constructions from representation theory in this particular context. An important rôle is played by the regular representation. We conclude by discussing some operator algebra associated to continuous representations...
متن کاملA Syntactical Approach to Weak ω-Groupoids
When moving to a Type Theory without proof-irrelevance the notion of a setoid has to be generalized to the notion of a weak ω-groupoid. As a first step in this direction we study the formalisation of weak ω-groupoids in Type Theory. This is motivated by Voevodsky’s proposal of univalent type theory which is incompatible with proof-irrelevance and the results by Lumsdaine and Garner/van de Berg ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 2006
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s000497270003553x